@article(
JatMitch,Author="Jategaonkar, L. and Mitchell, J.C.",
        Title="Type inference with extended pattern matching and subtypes",
	Journal="Fund. Informaticae",
	Year="1993",volume="19",pages="127--166",
        Note="Preliminary version appeared in
        {\it Proc. ACM Symp. Lisp and Functional  
        Programming Languages,} 1988, 198-212")


        @inproceedings(
JatMitch88,Author="Jategaonkar, L. and Mitchell, J.C.",
        Title="{ML} with extended pattern matching and subtypes",
        Booktitle="Proc. ACM Symp. Lisp and Functional  
        Programming Languages",
        Month="July",Year="1988",
        pages="198-212")

	@mastersthesis(
JatThesis,author="Jategaonkar, L.",
	title="{ML} with extended pattern matching and subtypes",
	School="MIT",
	Year="1989")